ePMC - csma all_before

Log
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property all_before_max
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 3491 3491
build-model-states-explored 7587 4096
build-model-states-explored 11726 4139
build-model-states-explored 15832 4106
build-model-states-explored 19944 4112
build-model-states-explored 24072 4128
build-model-states-explored 28147 4075
build-model-states-explored 32275 4128
build-model-states-explored 36416 4141
build-model-states-explored 40527 4111
build-model-states-explored 44603 4076
build-model-states-explored 48727 4124
build-model-states-explored 52855 4128
build-model-states-explored 56840 3985
build-model-states-explored 60963 4123
build-model-states-explored 65075 4112
build-model-states-explored 69185 4110
build-model-states-explored 73994 4809
build-model-states-explored 79250 5256
build-model-states-explored 84528 5278
build-model-states-explored 89776 5248
build-model-states-explored 95030 5254
build-model-states-explored 100303 5273
build-model-states-explored 105560 5257
build-model-states-explored 110812 5252
build-model-states-explored 115800 4988
build-model-states-explored 121077 5277
build-model-states-explored 126317 5240
build-model-states-explored 131398 5081
build-model-states-explored 136661 5263
build-model-states-explored 141932 5271
build-model-states-explored 147107 5175
build-model-states-explored 152345 5238
build-model-states-explored 157604 5259
build-model-states-explored 162855 5251
build-model-states-explored 168113 5258
build-model-states-explored 173373 5260
build-model-states-explored 178631 5258
build-model-states-explored 183873 5242
build-model-states-explored 189112 5239
build-model-states-explored 194374 5262
build-model-states-explored 199632 5258
build-model-states-explored 204891 5259
build-model-states-explored 210139 5248
build-model-states-explored 215501 5362
build-model-states-explored 220842 5341
build-model-states-explored 226198 5356
build-model-states-explored 231558 5360
build-model-states-explored 236354 4796
build-model-states-explored 241694 5340
build-model-states-explored 247049 5355
build-model-states-explored 252411 5362
build-model-states-explored 257759 5348
build-model-states-explored 263094 5335
build-model-states-explored 268440 5346
build-model-states-explored 273791 5351
build-model-states-explored 279110 5319
build-model-states-explored 284451 5341
build-model-states-explored 289791 5340
build-model-states-explored 295134 5343
build-model-states-explored 300476 5341
build-model-states-explored 305814 5339
build-model-states-explored 311159 5345
build-model-states-explored 316506 5347
build-model-states-explored 321847 5341
build-model-states-explored 327195 5348
build-model-states-explored 332529 5334
build-model-states-explored 337876 5347
build-model-states-explored 343221 5345
build-model-states-explored 348515 5294
build-model-states-explored 353902 5387
build-model-states-explored 359308 5406
build-model-states-explored 364717 5409
build-model-states-explored 370125 5408
build-model-states-explored 375518 5393
build-model-states-explored 380936 5418
build-model-states-explored 386296 5360
build-model-states-explored 391700 5404
build-model-states-explored 397098 5398
build-model-states-explored 402504 5406
build-model-states-explored 407914 5410
build-model-states-explored 413307 5393
build-model-states-explored 418709 5402
build-model-states-explored 424113 5404
build-model-states-explored 429513 5400
build-model-states-explored 434902 5389
build-model-states-explored 440317 5415
build-model-states-explored 445717 5400
build-model-states-explored 451116 5399
build-model-states-explored 456532 5416
build-model-states-explored 461935 5403
build-model-states-explored 467341 5406
build-model-states-explored 472756 5414
build-model-states-explored 477048 4293
build-model-states-explored 482446 5398
build-model-states-explored 487860 5414
build-model-states-explored 493211 5351
build-model-states-explored 498529 5318
build-model-states-explored 503831 5302
build-model-states-explored 509121 5290
build-model-states-explored 514448 5327
build-model-states-explored 519741 5293
build-model-states-explored 525049 5308
build-model-states-explored 530328 5279
build-model-states-explored 535673 5345
build-model-states-explored 540974 5301
build-model-states-explored 546295 5321
build-model-states-explored 551617 5322
build-model-states-explored 556925 5308
build-model-states-explored 562245 5320
build-model-states-explored 567573 5328
build-model-states-explored 572829 5256
build-model-states-explored 578152 5323
build-model-states-explored 583486 5334
build-model-states-explored 588815 5329
build-model-states-explored 594155 5340
build-model-states-explored 599497 5342
build-model-states-explored 604840 5343
build-model-states-explored 610181 5341
build-model-states-explored 615518 5337
build-model-states-explored 620864 5346
build-model-states-explored 626203 5339
build-model-states-explored 631545 5342
build-model-states-explored 636892 5347
build-model-states-explored 642230 5338
build-model-states-explored 647559 5329
build-model-states-explored 652905 5346
build-model-states-explored 658216 5311
build-model-states-explored 663473 5257
build-model-states-explored 668737 5264
build-model-states-explored 673999 5262
build-model-states-explored 679323 5324
build-model-states-explored 684728 5405
build-model-states-explored 690122 5394
build-model-states-explored 695518 5396
build-model-states-explored 700933 5415
build-model-states-explored 706338 5405
build-model-states-explored 711749 5411
build-model-states-explored 717127 5378
build-model-states-explored 722539 5412
build-model-states-explored 727956 5417
build-model-states-explored 733379 5423
build-model-states-explored 738795 5416
build-model-states-explored 744245 5450
build-model-states-explored 749701 5456
build-model-states-explored 755155 5454
build-model-states-explored 760619 5464
build-model-done 761962 147
iterating
iterating-progress-unbounded 180 727.8660714285714 1
iterating-done 232 1
model-checking-done 151
command-check-result-is 0.7764600248577358 all_before_max
Model:	csma v.1 (MDP)
Parameter(s)	N = 4, K = 2
Property:	all_before_max (prob-reach)
Walltime:	152.1746380329132s
Return code:	0
Relative Error:	1.6028539463366562e-07